JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

Source URL: ctan.mirror.ac.za

JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

Source URL: mirror.math.ku.edu

Introduction to Information Sciences Natural Language Processing Formal Languages

Source URL: www.iip.ist.i.kyoto-u.ac.jp

arXiv:1409.3108v1 [cs.PL] 10 SepPruning, Pushdown Exception-Flow Analysis Shuying Liang Weibin Sun

Source URL: arxiv.org

• Formal languages
• Software engineering
• Cardinal number
• Model theory
• Structure
• String
• Garbage collection
• Exception handling
• Mathematics
• Computing
• Character encoding

BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions

Source URL: www.brics.dk

• Software engineering
• Context-free grammar
• Formal grammar
• Terminal and nonterminal symbols
• Regular grammar
• Production
• Regular expression
• Static single assignment form
• Parsing expression grammar
• Formal languages
• Combinatorics
• Mathematics

A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution

Source URL: www.cs.man.ac.uk

• Automata theory
• Formal languages
• Logic in computer science
• Runtime verification
• Design
• Finite-state machine
• Regular expression
• C Sharp
• Pattern
• Computing
• Software engineering
• Theoretical computer science

A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules Roy Bar-Haim§ , Jonathan Berant⋆ , Ido Dagan§ § ⋆

Source URL: www-nlp.stanford.edu

• Reasoning
• Formal languages
• Propositional calculus
• Inference
• Cyc
• Entailment
• Logic
• Logical consequence
• Deduction

CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics

Source URL: www.mimuw.edu.pl

• Computer science
• International Colloquium on Automata
• Languages and Programming
• Symposium on Theoretical Aspects of Computer Science
• Tree automaton
• Finite-state machine
• Formal language
• Hierarchy
• Automata theory
• Theoretical computer science
• Applied mathematics

A Comparison of Alternative Parse Tree Paths for Labeling Semantic Roles Reid Swanson and Andrew S. Gordon Institute for Creative Technologies University of Southern CaliforniaFiji Way, Marina del Rey, CAUS

Source URL: people.ict.usc.edu

• Formal languages
• Compiler construction
• Syntax
• Parsing
• Parse tree
• Dependency grammar
• Treebank
• Semantic role labeling
• Formal grammar
• Linguistics
• Computational linguistics
• Grammar

The Icon Analyst In-Depth Coverage of the Icon Programming Language October 1998 Number 50 In this issue …

Source URL: www.cs.arizona.edu

• Computer programming
• Formal grammar
• L-system
• Icon
• LL parser
• Regular expression
• Attribute grammar
• Formal languages
• Software engineering
• Computing